Digital resource developments for mathematics education involving homework across formal, non‐formal and informal settings
نویسندگان
چکیده
منابع مشابه
Informal and Formal Representations in Mathematics
In this paper we discuss the importance of good representations in mathematics and relate them to general design issues. Good design makes life easy, bad design difficult. For this reason experienced mathematicians spend a significant amount of their time on the design of their concepts. While many formal systems try to support this by providing a high-level language, we argue that more should ...
متن کاملMathematics 5707 Homework 1
number of ordered triples (a, b, c) such that ab ∈ E(G) and bc / ∈ E(G). Observe that each vertex v has deg v = 0, 1, 2, 3, 4, or 5. If deg v is 0 or 5, then v is the second vertex in 0 such triples. If deg v is 1 or 4, then v is the second vertex in 4 such triples. If deg v is 2 or 3, then v is the second vertex in 6 such triples. Thus, there are at most 36 such ordered triples. Note that each...
متن کاملMathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications technology. For the most part, at undergraduate level, such mathematics is generally considered to consist of discrete mathematics, including formal logic. At a research level, one expects to find abstract algebra, categor...
متن کاملClosing the Gap Between Formal and Digital Libraries of Mathematics
The representational gap between formal mathematics and most users of digital mathematics resources is a challenge for any approach to mathematical knowledge management which aims to combine the benefits of formal and informal mathematics. In this chapter we study this gap in the context of a digital library of mathematics based on the Mizar Mathematical Library and make recommendations for imp...
متن کاملFrom Informal to Formal: Creating the Australasian Computing Education Community
The advent of Web technology has enabled new ways in which groups of people may interact, leading to the development of online communities. In an academic environment these virtual communities can facilitate collaboration and provide new ways for educators to communicate and disseminate their ideas and practices. A website designed to support a community of educators interested in scholarship a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Curriculum Journal
سال: 2016
ISSN: 0958-5176,1469-3704
DOI: 10.1080/09585176.2016.1158726